package B1;

// 触发状态转移的事件枚举
public enum TankEvent {
    TEMP_BELOW_20_WITH_WATER,  // 水温低于20°且有水
    TEMP_BELOW_20_WITHOUT_WATER, // 水温低于20°且无水
    TEMP_REACH_100,            // 水温达到100°
    TIME_23_00,                // 晚上11点
    TIME_07_00,                // 早上7点
    TANK_BROKEN                // 水箱烧坏（最终状态）
}
